Rahul Mangharam : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (98)
Les plus populaires
Liste
- Liste
- Tableau

1

High-Confidence Medical Device Software Development

Jiang, Zhihao, Mangharam, Rahul

Journal:

Foundations and Trends® in Electronic Design Automation

Année:

2015

Langue:

english

Fichier:

PDF, 15.17 MB

english, 2015

2

[IEEE 2018 ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS) - Porto, Portugal (2018.4.11-2018.4.13)] 2018 ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS) - Fly-by-Logic: Control of Multi-Drone Fleets with Temporal Logic Objectives

Pant, Yash Vardhan, Abbas, Houssam, Quaye, Rhudii A., Mangharam, Rahul

Année:

2018

Langue:

english

Fichier:

PDF, 1.14 MB

english, 2018

3

The Wireless Control Network: A New Approach for Control Over Networks

Pajic, Miroslav, Sundaram, Shreyas, Pappas, George J., Mangharam, Rahul

Journal:

IEEE Transactions on Automatic Control

Année:

2011

Langue:

english

Fichier:

PDF, 2.53 MB

english, 2011

4

[IEEE 2012 IEEE 33rd Real-Time Systems Symposium (RTSS) - San Juan, PR, USA (2012.12.4-2012.12.7)] 2012 IEEE 33rd Real-Time Systems Symposium - Green Scheduling for Energy-Efficient Operation of Multiple Chiller Plants

Behl, Madhur, Nghiem, Truong X., Mangharam, Rahul

Année:

2012

Langue:

english

Fichier:

PDF, 346 KB

english, 2012

5

[IEEE 2011 IEEE 32nd Real-Time Systems Symposium (RTSS) - Vienna, Austria (2011.11.29-2011.12.2)] 2011 IEEE 32nd Real-Time Systems Symposium - Anytime Algorithms for GPU Architectures

Mangharam, Rahul, Saba, Aminreza Abrahimi

Année:

2011

Langue:

english

Fichier:

PDF, 2.32 MB

english, 2011

6

Spatio-Temporal Techniques for Anti-Jamming in Embedded Wireless Networks

Pajic, Miroslav, Mangharam, Rahul

Journal:

EURASIP Journal on Wireless Communications and Networking

Année:

2009

Langue:

english

Fichier:

PDF, 9.54 MB

english, 2009

7

DR-Advisor: A data-driven demand response recommender system

Behl, Madhur, Smarra, Francesco, Mangharam, Rahul

Journal:

Année:

2016

Langue:

english

Fichier:

PDF, 4.98 MB

english, 2016

8

[IEEE 2016 1st International Workshop on Science of Smart City Operations and Platforms Engineering (SCOPE) in partnership with Global City Teams Challenge (GCTC) (SCOPE - GCTC) - Vienna, Austria (2016.4.11-2016.4.11)] 2016 1st International Workshop on Science of Smart City Operations and Platforms Engineering (SCOPE) in partnership with Global City Teams Challenge (GCTC) (SCOPE - GCTC) - Interactive analytics for smart cities infrastructures

Behl, Madhur, Mangharam, Rahul

Année:

2016

Langue:

english

Fichier:

PDF, 14.84 MB

english, 2016

9

[IEEE 2016 IEEE International Conference on Bioinformatics and Biomedicine (BIBM) - Shenzhen, China (2016.12.15-2016.12.18)] 2016 IEEE International Conference on Bioinformatics and Biomedicine (BIBM) - CyberCardia project: Modeling, verification and validation of implantable cardiac devices

Islam, Md. Ariful, Lim, Hyunkyung, Paoletti, Nicola, Abbas, Houssam, Jiang, Zhihao, Cyranka, Jacek, Cleaveland, Rance, Gao, Sicun, Clarke, Edmund, Grosu, Radu, Mangharam, Rahul, Cherry, Elizabeth, Fen

Année:

2016

Langue:

english

Fichier:

PDF, 1.07 MB

english, 2016

10

Data-driven model predictive control using random forests for building energy optimization and climate control

Smarra, Francesco, Jain, Achin, de Rubeis, Tullio, Ambrosini, Dario, D’Innocenzo, Alessandro, Mangharam, Rahul

Journal:

Année:

2018

Langue:

english

Fichier:

PDF, 3.14 MB

english, 2018

11

[IEEE 2020 IEEE/AIAA 39th Digital Avionics Systems Conference (DASC) - San Antonio, TX, USA (2020.10.11-2020.10.15)] 2020 AIAA/IEEE 39th Digital Avionics Systems Conference (DASC) - Learning-to-Fly RL: Reinforcement Learning-based Collision Avoidance for Scalable Urban Air Mobility

Jang, Kuk, Pant, Yash Vardhan, Rodionova, Alena, Mangharam, Rahul

Année:

2020

Fichier:

PDF, 1.10 MB

2020

12

RT-Link: A global time-synchronized link protocol for sensor networks

Anthony Rowe, Rahul Mangharam, Raj Rajkumar

Journal:

Ad Hoc Networks

Année:

2008

Langue:

english

Fichier:

PDF, 1.22 MB

english, 2008

13

FireFly: a cross-layer platform for real-time embedded wireless networks

Rahul Mangharam, Anthony Rowe, Raj Rajkumar

Journal:

Real-Time Systems

Année:

2007

Langue:

english

Fichier:

PDF, 2.05 MB

english, 2007

14

[IEEE 2006 Third Annual International Conference on Mobile and Ubiquitous Systems: Networking & Services - San Jose, CA, USA (2006.07.17-2006.07.21)] 2006 Third Annual International Conference on Mobile and Ubiquitous Systems: Networking & Services - GrooveNet: A Hybrid Simulator for Vehicle-to-Vehicle Networks

Mangharam, Rahul, Weller, Daniel, Rajkumar, Raj, Mudalige, Priyantha, Bai, Fan

Année:

2006

Langue:

english

Fichier:

PDF, 323 KB

english, 2006

15

[IEEE 2011 14th International IEEE Conference on Intelligent Transportation Systems - (ITSC 2011) - Washington, DC, USA (2011.10.5-2011.10.7)] 2011 14th International IEEE Conference on Intelligent Transportation Systems (ITSC) - AutoPlug: An automotive test-bed for electronic controller unit testing and verification

Drolia, Utsav, Wang, Zhenyan, Pant, Yash, Mangharam, Rahul

Année:

2011

Langue:

english

Fichier:

PDF, 629 KB

english, 2011

16

Topological Conditions for In-Network Stabilization of Dynamical Systems

Pajic, Miroslav, Mangharam, Rahul, Pappas, George J., Sundaram, Shreyas

Journal:

IEEE Journal on Selected Areas in Communications

Année:

2013

Langue:

english

Fichier:

PDF, 1.66 MB

english, 2013

17

[IEEE 2010 22nd Euromicro Conference on Real-Time Systems (ECRTS) - Brussels, Belgium (2010.07.6-2010.07.9)] 2010 22nd Euromicro Conference on Real-Time Systems - Real-Time Heart Model for Implantable Cardiac Device Validation and Verification

Jiang, Zhihao, Pajic, Miroslav, Connolly, Allison, Dixit, Sanjay, Mangharam, Rahul

Année:

2010

Langue:

english

Fichier:

PDF, 1.95 MB

english, 2010

18

[IEEE 2006 3rd Annual International Conference on Mobile and Ubiquitous Systems - San Jose, CA, USA (2006.07.17-2006.07.21)] 2006 3rd Annual International Conference on Mobile and Ubiquitous Systems - Workshops - GrooveNet: A Hybrid Simulator for Vehicle-to-Vehicle Networks

Mangharam, Rahul, Weller, Daniel, Rajkumar, Raj, Mudalige, Priyantha, Bai, Fan

Année:

2006

Langue:

english

Fichier:

PDF, 323 KB

english, 2006

19

Closed-loop verification of medical devices with model abstraction and refinement

Jiang, Zhihao, Pajic, Miroslav, Alur, Rajeev, Mangharam, Rahul

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Année:

2014

Langue:

english

Fichier:

PDF, 2.02 MB

english, 2014

20

Model-Driven Safety Analysis of Closed-Loop Medical Systems

Pajic, Miroslav, Mangharam, Rahul, Sokolsky, Oleg, Arney, David, Goldman, Julian, Lee, Insup

Journal:

IEEE Transactions on Industrial Informatics

Année:

2014

Langue:

english

Fichier:

PDF, 2.55 MB

english, 2014

21

[IEEE 32nd IEEE Conference on Local Computer Networks (LCN 2007) - Dublin, Ireland (2007.10.15-2007.10.18)] 32nd IEEE Conference on Local Computer Networks (LCN 2007) - Node Connectivity in Vehicular Ad Hoc Networks with Structured Mobility

Ho, Ivan W.H., Leung, Kin K., Polak, John W., Mangharam, Rahul

Année:

2007

Langue:

english

Fichier:

PDF, 340 KB

english, 2007

22

[ACM Press the Fourth ACM Workshop - Toronto, Ontario, Canada (2012.11.06-2012.11.06)] Proceedings of the Fourth ACM Workshop on Embedded Sensing Systems for Energy-Efficiency in Buildings - BuildSys '12 - MLE+

Bernal, Willy, Behl, Madhur, Nghiem, Truong X., Mangharam, Rahul

Année:

2012

Langue:

english

Fichier:

PDF, 4.19 MB

english, 2012

23

[IEEE 2007 Mobile Networking for Vehicular Environments - Anchorage, Alaska (2007.05.11-2007.05.11)] 2007 Mobile Networking for Vehicular Environments - Bounded-Latency Alerts in Vehicular Networks

Mangharam, Rahul, Rajkumar, Raj, Hamilton, Mark, Mudaliget, Priyantha, Bait, Fan

Année:

2007

Langue:

english

Fichier:

PDF, 6.83 MB

english, 2007

24

[IEEE 2011 33rd Annual International Conference of the IEEE Engineering in Medicine and Biology Society - Boston, MA (2011.08.30-2011.09.3)] 2011 Annual International Conference of the IEEE Engineering in Medicine and Biology Society - Modeling cardiac pacemaker malfunctions with the Virtual Heart Model

Jiang, Zhihao, Mangharam, Rahul

Année:

2011

Langue:

english

Fichier:

PDF, 678 KB

english, 2011

25

[IEEE 2011 IEEE/ACM International Conference on Cyber-Physical Systems (ICCPS) - Chicago, IL, USA (2011.04.12-2011.04.14)] 2011 IEEE/ACM Second International Conference on Cyber-Physical Systems - Model-Based Closed-Loop Testing of Implantable Pacemakers

Jiang, Zhihao, Pajic, Miroslav, Mangharam, Rahul

Année:

2011

Langue:

english

Fichier:

PDF, 1.73 MB

english, 2011

26

[IEEE 2011 50th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC 2011) - Orlando, FL, USA (2011.12.12-2011.12.15)] IEEE Conference on Decision and Control and European Control Conference - Green scheduling of control systems for peak demand reduction

Nghiem, Truong X., Behl, Madhur, Mangharam, Rahul, Pappas, George J.

Année:

2011

Langue:

english

Fichier:

PDF, 303 KB

english, 2011

27

[IEEE 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems (ICCPS) - Beijing, China (2012.04.17-2012.04.19)] 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems - Demo Abstract: Model-Based Testing of Implantable Cardiac Devices

Sarode, Shilpa, Radhakrishnan, Sriram, Sampath, Varun, Jiang, Zhihao, Pajic, Miroslav, Mangharam, Rahul

Année:

2012

Langue:

english

Fichier:

PDF, 1.58 MB

english, 2012

28

[IEEE 2006 3rd Annual IEEE Communications Society on Sensor and Ad Hoc Communications and Networks - Reston, VA, USA (2006.09.28-2006.09.28)] 2006 3rd Annual IEEE Communications Society on Sensor and Ad Hoc Communications and Networks - RT-Link: A Time-Synchronized Link Protocol for Energy- Constrained Multi-hop Wireless Networks

Rowe, Anthony, Mangharam, Rahul, Rajkumar, Raj

Année:

2006

Langue:

english

Fichier:

PDF, 838 KB

english, 2006

29

[IEEE 2013 American Control Conference (ACC) - Washington, DC (2013.6.17-2013.6.19)] 2013 American Control Conference - Event-based Green scheduling of radiant systems in buildings

Nghiem, Truong X., Pappas, George J., Mangharam, Rahul

Année:

2013

Langue:

english

Fichier:

PDF, 432 KB

english, 2013

30

[IEEE 2011 IEEE 32nd Real-Time Systems Symposium (RTSS) - Vienna, Austria (2011.11.29-2011.12.2)] 2011 IEEE 32nd Real-Time Systems Symposium - On the Feasibility of Linear Discrete-Time Systems of the Green Scheduling Problem

Li, Zheng, Huang, Pei-Chi, Mok, Aloysius K., Nghiem, Truong, Behl, Madhur, Pappas, George, Mangharam, Rahul

Année:

2011

Langue:

english

Fichier:

PDF, 894 KB

english, 2011

31

[IEEE 2012 IEEE 18th Real-Time and Embedded Technology and Applications Symposium (RTAS) - Beijing, China (2012.04.16-2012.04.19)] 2012 IEEE 18th Real Time and Embedded Technology and Applications Symposium - From Verification to Implementation: A Model Translation Tool and a Pacemaker Case Study

Pajic, Miroslav, Jiang, Zhihao, Lee, Insup, Sokolsky, Oleg, Mangharam, Rahul

Année:

2012

Langue:

english

Fichier:

PDF, 655 KB

english, 2012

32

[IEEE 2009 29th IEEE International Conference on Distributed Computing Systems Workshops (ICDCS Workshops) - Montreal, Quebec, Canada (2009.06.22-2009.06.26)] 2009 29th IEEE International Conference on Distributed Computing Systems Workshops - Embedded Virtual Machines for Robust Wireless Control Systems

Mangharam, Rahul, Pajic, Miroslav

Année:

2009

Langue:

english

Fichier:

PDF, 333 KB

english, 2009

33

MEERA: cross-layer methodology for energy efficient resource allocation in wireless networks

Pollin, Sofie, Mangharam, Rahul, Bougard, Bruno, Van Der Perre, Liesbet, Moerman, Ingrid, Rajkumar, Ragunathan, Catthoor, Francky

Journal:

IEEE Transactions on Wireless Communications

Année:

2007

Langue:

english

Fichier:

PDF, 800 KB

english, 2007

34

[IEEE Rescue Robotics (SSRR) - Bremen, Germany (2010.07.26-2010.07.30)] 2010 IEEE Safety Security and Rescue Robotics - RecoNode: A reconfigurable node for heterogeneous multi-robot search and rescue

Voyles, Richard M., Povilus, Sam, Mangharam, Rahul, Li, Kang

Année:

2010

Langue:

english

Fichier:

PDF, 981 KB

english, 2010

35

[IEEE 2006 3rd International Conference on Broadband Communications, Networks and Systems - San Jose, CA, USA (2006.10.1-2006.10.5)] 2006 3rd International Conference on Broadband Communications, Networks and Systems - MAX: A Maximal Transmission Concurrency MAC for Wireless Networks with Regular Structure

Mangharam, Rahul, Rajkumar, Raj

Année:

2006

Langue:

english

Fichier:

PDF, 912 KB

english, 2006

36

[IEEE 2014 American Control Conference - ACC 2014 - Portland, OR, USA (2014.6.4-2014.6.6)] 2014 American Control Conference - Peak power reduction in hybrid energy systems with limited load forecasts

Pant, Yash V., Nghiem, Truong X., Mangharam, Rahul

Année:

2014

Langue:

english

Fichier:

PDF, 537 KB

english, 2014

37

[IEEE 2012 IEEE 51st Annual Conference on Decision and Control (CDC) - Maui, HI, USA (2012.12.10-2012.12.13)] 2012 IEEE 51st IEEE Conference on Decision and Control (CDC) - Green scheduling for radiant systems in buildings

Nghiem, Truong X., Behl, Madhur, Pappas, George J., Mangharam, Rahul

Année:

2012

Langue:

english

Fichier:

PDF, 539 KB

english, 2012

38

[IEEE 2010 49th IEEE Conference on Decision and Control (CDC) - Atlanta, GA, USA (2010.12.15-2010.12.17)] 49th IEEE Conference on Decision and Control (CDC) - The Wireless Control Network: Synthesis and robustness

Pajic, Miroslav, Sundaram, Shreyas, Le Ny, Jerome, Pappas, George J., Mangharam, Rahul

Année:

2010

Langue:

english

Fichier:

PDF, 181 KB

english, 2010

39

[IEEE 2011 45th Asilomar Conference on Signals, Systems and Computers - Pacific Grove, CA, USA (2011.11.6-2011.11.9)] 2011 Conference Record of the Forty Fifth Asilomar Conference on Signals, Systems and Computers (ASILOMAR) - Network synthesis for dynamical system stabilization

Pajic, Miroslav, Sundaram, Shreyas, Pappas, George J., Mangharam, Rahul

Année:

2011

Langue:

english

Fichier:

PDF, 275 KB

english, 2011

40

[IEEE 2010 49th IEEE Conference on Decision and Control (CDC) - Atlanta, GA, USA (2010.12.15-2010.12.17)] 49th IEEE Conference on Decision and Control (CDC) - The wireless control network: Monitoring for malicious behavior

Sundaram, Shreyas, Pajic, Miroslav, Hadjicostis, Christoforos N., Mangharam, Rahul, Pappas, George J.

Année:

2010

Langue:

english

Fichier:

PDF, 199 KB

english, 2010

41

[IEEE 2014 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS) - Berlin, Germany (2014.4.14-2014.4.17)] 2014 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS) - Model-IQ: Uncertainty propagation from sensing to modeling and control in buildings

Behl, Madhur, Nghiem, Truong X., Mangharam, Rahul

Année:

2014

Langue:

english

Fichier:

PDF, 4.51 MB

english, 2014

42

[IEEE 2011 International Green Computing Conference (IGCC) - Orlando, FL, USA (2011.07.25-2011.07.28)] 2011 International Green Computing Conference and Workshops - Green scheduling: Scheduling of control systems for peak power reduction

Nghiem, Truong, Behl, Madhur, Pappas, George J., Mangharam, Rahul

Année:

2011

Langue:

english

Fichier:

PDF, 286 KB

english, 2011

43

[IEEE 2006 27th IEEE International Real-Time Systems Symposium (RTSS'06) - Rio de Janiero, Brazil (2006.12.5-2006.12.8)] 2006 27th IEEE International Real-Time Systems Symposium (RTSS'06) - Voice over Sensor Networks

Mangharam, Rahul, Rowe, Anthony, Rajkumar, Raj, Suzuki, Ryohei

Année:

2006

Langue:

english

Fichier:

PDF, 3.30 MB

english, 2006

44

[IEEE 2011 50th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC 2011) - Orlando, FL, USA (2011.12.12-2011.12.15)] IEEE Conference on Decision and Control and European Control Conference - Topological conditions for wireless control networks

Pajic, Miroslav, Sundaram, Shreyas, Pappas, George J., Mangharam, Rahul

Année:

2011

Langue:

english

Fichier:

PDF, 454 KB

english, 2011

45

[IEEE 2012 ACM/IEEE 11th International Conference on Information Processing in Sensor Networks (IPSN) - Beijing, China (2012.4.16-2012.4.20)] 2012 ACM/IEEE 11th International Conference on Information Processing in Sensor Networks (IPSN) - Closing the loop: A simple distributed method for control over wireless networks

Pajic, Miroslav, Ny, Jerome Le, Sundaram, Shreyas, Pappas, George J., Mangharam, Rahul

Année:

2012

Langue:

english

Fichier:

PDF, 2.34 MB

english, 2012

46

[IEEE 2013 American Control Conference (ACC) - Washington, DC (2013.6.17-2013.6.19)] 2013 American Control Conference - Networked realization of discrete-time controllers

Fei Miao,, Pajic, Miroslav, Mangharam, Rahul, Pappas, George J.

Année:

2013

Langue:

english

Fichier:

PDF, 499 KB

english, 2013

47

[IEEE 2014 IEEE International Conference on Automation Science and Engineering (CASE) - Taipei (2014.8.18-2014.8.22)] 2014 IEEE International Conference on Automation Science and Engineering (CASE) - IMpACT: Inverse model accuracy and control performance toolbox for buildings

Behl, Madhur, Nghiem, Truong X., Mangharam, Rahul

Année:

2014

Langue:

english

Fichier:

PDF, 1.09 MB

english, 2014

48

[ACM Press Wireless Health 2010 - San Diego, California (2010.10.05-2010.10.07)] Wireless Health 2010 on - WH '10 - A platform for implantable medical device validation

Jiang, Zhihao, Pajic, Miroslav, Connolly, Allison, Dixit, Sanjay, Mangharam, Rahul

Année:

2010

Langue:

english

Fichier:

PDF, 1.22 MB

english, 2010

49

[ACM Press the 2nd ACM international workshop - Cologne, Germany (2005.09.02-2005.09.02)] Proceedings of the 2nd ACM international workshop on Vehicular ad hoc networks - VANET '05 - GrooveSim

Mangharam, Rahul, Weller, Daniel S., Stancil, Daniel D., Rajkumar, Ragunathan, Parikh, Jayendra S.

Année:

2005

Langue:

english

Fichier:

PDF, 2.11 MB

english, 2005

50

ProtoDrive

Price, William, Jain, Harsh, Pant, Yash, Mangharam, Rahul

Journal:

ACM SIGBED Review

Année:

2013

Langue:

english

Fichier:

PDF, 593 KB

english, 2013